__do_global_dtors_aux(_unknown_ r5)
{// addr = 0x08048180
    _unknown_ r1;
    _unknown_ r6;
    _unknown_ _t6;
    _unknown_ _t7;
    signed int _t11;

    __esi = __esi;
    if(M080F0C20 != 0) {
        return ;
    }
    __edx = dtor_idx.5253;
    __ebx = (135192612 -  &M080EE01C >> 2) - 1;
    if(__edx >= __ebx) {
L4:
        if(L080581B0 != 0) {
            goto L5;
        }
L6:
        M080F0C20 = 1;
        return;
    }
    __esi = __esi;
    while(1) {
        _t11 = __edx + 1;
        dtor_idx.5253 = _t11;
         *((intOrPtr*)(_t11 * 4 +  &M080EE01C))();
        __edx = dtor_idx.5253;
        if(__edx >= __ebx) {
            break;
        } else {
            continue;
        }
    }
    goto L4;
L5:
    L080581B0(__edi, __esi,  &M080E2954);
    goto L6;
}